- mathematische Logik
- математическая логика
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
mathematische Logik — mathematische Logik, im weiteren Sinn die formale Logik, wobei unterstellt wird, dass formales Operieren immer mathematischer Natur sei; im engeren Sinn diejenigen Teilgebiete der formalen Logik, die sich mit für die Mathematik methodologisch… … Universal-Lexikon
Mathematische Logik — Die Mathematische Logik ist ein Teilgebiet der Mathematik. Oft wird sie in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen… … Deutsch Wikipedia
Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der … Deutsch Wikipedia
Logik — Folgerichtigkeit; logische Korrektheit; Übereinstimmung; Stimmigkeit; Dialektik; Analytik; Gesetzmäßigkeit; Vernunft; Konsequenz * * * Lo|gik [ lo:gɪk], die; : 1 … Universal-Lexikon
Logik höherer Stufe — Unter Logik höherer Stufe (englisch: Higher Order Logic, HOL) versteht man eine Erweiterung der Prädikatenlogik erster Stufe. Sie basiert auf dem typisierten Lambda Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück. Entwickelt um… … Deutsch Wikipedia
Logik — Lo̲·gik die; ; nur Sg; 1 eine Denkweise, bei der jeder Gedanke sinnvoll oder notwendigerweise zum nächsten führt <eine strenge, konsequente Logik>: In dem Satz ,,Er aß sehr viel, weil er keinen Hunger hatte fehlt die Logik 2 die… … Langenscheidt Großwörterbuch Deutsch als Fremdsprache
Mathematische Zeichen — Mathematische Zeichen, in der Mathematik übliche Abkürzungen. Die gebräuchlichsten sind: = gleich; ≡ identisch gleich, kongruent (in der Zahlentheorie); > größer als; < kleiner als; oder =|= nicht gleich; ähnlich; ≅… … Lexikon der gesamten Technik
mathematische Linguistik — mathematische Linguịstik, linguistische Teildisziplin, die Methoden der Mathematik (z. B. Gruppentheorie, Automatentheorie) und der formalen Logik zur expliziten Darstellung einer natürlichen Sprache und aller in ihr möglichen Kombinationen… … Universal-Lexikon
Mathematische Notation — Als Notation bezeichnet man in Mathematik, Logik und Informatik die Schreibweise von Formeln und Ausdrücken mittels mathematischer Symbole. Die mathematische Notation entspricht einer Sprache, die formaler ist als viele natürliche Sprachen und… … Deutsch Wikipedia
Mathematische Strenge — Aristoteles, Begründer der Logik Unter mathematischer Strenge (in etwas anderem Zusammenhang oft auch mathematischer Präzision) wird eine klare logische Vorgehensweise innerhalb der Mathematik verstanden. Sie umfasst zum einen die axiomatische… … Deutsch Wikipedia
Mathematische Grundlagen — Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913. Die… … Deutsch Wikipedia